Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings
نویسندگان
چکیده
This paper motivates the study of counterpossibles (logically impossible counterfactuals) as necessary for developing a decision theory suitable for generally intelligent agents embedded within their environments. We discuss two attempts to formalize a decision theory using counterpossibles, one based on graphical models and another based on proof search.
منابع مشابه
Occupational Therapists\' Clinical Reasoning: A Qualitative Study
Objectives: Clinical reasoning is at the heart of clinical work; it is affected by different field factors. A clear understanding of the reasoning process could solve practitioners' problems on how to make their underlying theories, assumptions and values more explicit. The aim of this research is to understand how clinical reasoning process is formed in the context of occupational therapists w...
متن کاملAn Applied Calculus for Spatial Accessibility Reasoning
Recent attempts to perform formal knowledge representation and reasoning in cell biology have presented new challenges to spatial reasoning. In this paper we formalize two distinct notions of containment that were so motivated and which are relevant to reasoning about physical systems, a notion of being inside and a notion of being restricted. We develop a formal vocabulary for purposes of repr...
متن کاملDirected Fixed-Point Regression-Based Planning for Non-Deterministic Domains
We present a novel approach to fully-observable nondeterministic planning (FOND) that attempts to bridge the gap between symbolic fix-point computation and recent approaches based on forward heuristic search. Concretely, we formalize the relationship between symbolic and dynamic programming nondeterministic planners, and then exploit such connection to propose a novel family of planning algorit...
متن کاملA Calculus for Reasoning About Containment and Object Access
In this paper we analyze two different notions of containment that are relevant to reasoning about physical systems, a notion of being inside versus a notion of being restricted. We develop a formal vocabulary that allows us to represent and reason about restrictive containment and formalize three kinds of accessibility that are each salient to attempts to reason about the ability of pairs of o...
متن کاملCorrelations between dialogue acts and learning in spoken tutoring dialogues
We examine correlations between dialogue behaviors and learning in tutoring, using two corpora of spoken tutoring dialogues: a human-human corpus and a human-computer corpus. To formalize the notion of dialogue behavior, we manually annotate our data using a tagset of student and tutor dialogue acts relative to the tutoring domain. A unigram analysis of our annotated data shows that student lea...
متن کامل